Programming complexity - PDFSEARCH.IO - Document Search Engine

Programming complexity
Results: 456

#	Item
251	Microsoft PowerPoint - cover-IEEE- An Event-model for Constraint-based Person-centric Flows.ppt [Kompatibilitätsmodus] Add to Reading List Source URL: www.iaas.uni-stuttgart.de Language: English - Date: 2015-01-26 07:44:58 Workflow Systems engineering Management Computing Constraint satisfaction Complexity of constraint satisfaction Constraint programming Local consistency Constraint
252	Artificial Intelligence ELSEVIER Artificial Intelligence[removed]345 Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2013-07-29 01:10:58 Automated theorem proving Boolean algebra NP-complete problems Constraint programming Logic in computer science Boolean satisfiability problem Davis–Putnam algorithm Satisfiability Unit propagation Theoretical computer science Mathematics Computational complexity theory
253	Tractable Set Constraints Add to Reading List Source URL: ijcai.org Language: English - Date: 2011-06-29 07:09:50 Mathematical logic Constraint satisfaction Complexity of constraint satisfaction Function Entailment Envelope Horn clause Constraint programming Logic Mathematics
254	The Chaos Within Sudoku M´ aria Ercsey-Ravasz1, ∗ and Zolt´an Toroczkai2, 3, † arXiv:1208.0370v1 [nlin.CD] 1 Aug 2012 Add to Reading List Source URL: arxiv.org Language: English - Date: 2012-08-02 20:18:34 NP-complete problems Logic puzzles Recreational mathematics Constraint programming Logic in computer science 2-satisfiability Sudoku Constraint satisfaction Boolean satisfiability problem Theoretical computer science Mathematics Computational complexity theory
255	g05 – Random Number Generators g05tdc NAG Library Function Document nag_rand_gen_discrete (g05tdc) Add to Reading List Source URL: www.nag.com Language: English - Date: 2012-01-26 06:18:39 Procedural programming languages Complexity classes ALGOL 68 Printf format string NP C Vector space Algebra Mathematics Computing
256	§1. Algorithmics Lecture I Page 1 Add to Reading List Source URL: cs.nyu.edu Language: English - Date: 2013-04-13 15:02:34 Computational complexity theory Operations research Algorithms Models of computation Decision tree model Sorting algorithm Linear programming Divide and conquer algorithm Time complexity Theoretical computer science Applied mathematics Mathematics
257	The Complexity of Reasoning with Global Constraints Christian Bessiere LIRMM, CNRS/U. Montpellier Montpellier, France [removed] Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2006-09-13 04:55:34 Applied mathematics Local consistency Constraint satisfaction problem Constraint satisfaction NP-complete Computational complexity theory NP P versus NP problem Complexity of constraint satisfaction Theoretical computer science Constraint programming Complexity classes
258	Smoothed Analysis of Algorithms: Why the Simplex Algorithm Usually Takes Polynomial Time ∗ arXiv:cs/0111050v7 [cs.DS] 9 Oct[removed]Daniel A. Spielman † Add to Reading List Source URL: arxiv.org Language: English - Date: 2008-02-01 13:52:50 Analysis of algorithms Computational complexity theory Smoothed analysis Linear programming Simplex algorithm Algorithm Normal distribution Simplex Best worst and average case Theoretical computer science Applied mathematics Mathematics
259	The complexity of real recursive functions Manuel Lameiras Campagnolo D.M./I.S.A., Universidade T´ecnica de Lisboa, Tapada da Ajuda, [removed], Lisboa, Portugal; C.L.C./D.M./I.S.T., Universidade T´ecnica de Lisboa, Av. Add to Reading List Source URL: wslc.math.ist.utl.pt Language: English - Date: 2003-02-11 11:10:46 Mathematical logic Theory of computation Recursion Functions and mappings Programming idioms Primitive recursive function ELEMENTARY Computable function Function Theoretical computer science Mathematics Computability theory
260	Artificial Intelligence[removed]–156 Decomposable constraints ✩ Ian Gent a , Kostas Stergiou b,∗ , Toby Walsh c a APES Research Group, School of Computer Science, University of St Andrews, Scotland, UK b APE Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2006-01-21 00:51:04 Artificial intelligence Local consistency Constraint satisfaction problem Constraint satisfaction Constraint inference Decomposition method Complexity of constraint satisfaction Constraint programming Software engineering Computer programming